package org.jbpt.petri.untangling;

/**
 * Type of a significance check to use when untangling.
 * 
 */
public enum SignificanceCheckType {
	EXHAUSTIVE,
	HASHMAP_BASED,
	TREE_OF_RUNS
}
